Prover: Invalid Witnesses
Proves that a witness was invalid, and that a spend wasn't authorized.
A transaction proof with valid inputs must be provided. In addition, a list of state elements (one for each input of the transaction) must be provided.
- For each input:
- The owner of the input must not match the owner of the corresponding state element.